501. Exploring Robotics with ROBOTIS Systems
Author: Chi N. Thai
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science. , Programming languages (Electronic computers) , Artificial intelligence.
Classification :
E-Book
,
502. Express.js :
Author: Azat Mardan
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: EXPRESS (Computer program language),JavaScript (Computer program language),Programming languages (Electronic computers)
Classification :
QA76
.
73
.
J39
503. 3. Fachtagung uber Programmiersprachen, Kiel, 5.-7. Marz 1974
Author: hrsg. von Bodo Schlender und Wolfgang Frielinghaus
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L4
v
.
7
504. Fairness
Author: Nissim Francez
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer programming,، Programming languages )Electronic computers( -- Semantics,، Parallel processing )Electronic computers(
Classification :
QA
76
.
6
.
F72
1986
505. Fairness
Author: Francez, Nissim.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Programming languages )Electronic computers(-- Semantics,، Parallel processing )Electronic computers(
Classification :
QA
76
.
6
.
F7226
1986
506. Fairness
Author: FRANCEZ,NISSIM
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , PROGRAMMING LANGUAGES )ELECTRONIC , PARALLEL PROCESSING
Classification :
QA
76
.
6
.
F7226
507. Fairness
Author: / Nissim Francez
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic digital computers -- Programming,Programming languages (Electronic computers) -- Semantics,Parallel processing (Electronic computers)
Classification :
QA
76
.
6
.
F7226
1986
508. Faster, smarter.dollar5Beginning programming /
Author: Jim Buyens.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Programming languages (Electronic computers),Computer programming.,Programming languages (Electronic computers),REFERENCE-- General.
Classification :
QA76
.
6
.
B87
2003eb
509. Finite representations of CCS and TCSP programs by automata and Petri nets
Author: Taubner, Dirk
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Distributed processing ، Electronic data processing,، Petri nets,، Programming languages )Electronic computers(
Classification :
QA
76
.
9
.
D5
.
T39
1989
510. Finite representations of CCS and TCSP programs by automata and Petri nets
Author: Dirk Taubner
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
369
511. Finite representations of CCS and TCSP programs by automata and Petri nets
Author: / Dirk Taubner
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Electronic data processing--Distributed processing,Petri nets,Programming languages (Electronic computers)
Classification :
QA
,
76
.
9
,.
D5
,
T39
,
1989
512. Finite representations of CCS and TCSP programs by automata and Petri nets
Author: / Dirk Taubner
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic data processing -- Distributed processing,Petri nets,Programming languages (Electronic computers)
Classification :
QA
76
.
9
.
D5
T39
1989
513. Finite representations of CCS and TCSP programs by automata and Petri nets
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Electronic data processing ; Distributed processing. ; Petri nets. ; Programming languages (Electronic computers) ;
514. Flow analysis of computer programs
Author: Hecht, Matthew S.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Flowgraphs,، Computer algorithms
Classification :
QA
76
.
6
.
H4
515. Formal Methods and Software Development :
Author: edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Programming languages (Electronic computers),Software engineering.
516. Formal Syntax and Semantics of Programming Languages
Author: \ Kenneth Slonneger, Barry L. Kurtz
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Programming languages (Electronic computers) -- Syntax.,Programming languages (Electronic computers) -- Semantics.,زبانهای برنامهنویسی کامپیوتر-- نحو ,زبانهای برنامهنویسی کامپیوتر-- معنیشناسی
Classification :
E-Book
,
517. Formal and natural computing : essays dedicated to Grzegorz Rozenberg
Author: Wilfried Brauer...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers(,، Computer science -- Mathematics,، Machine theory,، Petri nets,، Graph grammars,، Rozenberg, Grzegorz
Classification :
QA
76
.
L28
Vol
.
2300
518. Formal description technique
Author: / edited by K.R. Parker, G.A. Rose
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Electronic digital computers -- Programming -- Congresses,Formal languages -- Congresses
Classification :
QA
76
.
6
.
I185
1992
519. Formal description techniques, II
Author: / Edited by Son T. Vuong
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Electronic digital computers -- Programming -- Congresses,Formal languages-- Congresses
Classification :
QA
76
.
6
.
I1778
1989
520. Formal description techniques III
Author: / Edited by Juan Quemada, Jose Manas, Enrique Vazquez
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Electronic digital computers -- Programming -- Congresses,Formal languages-- Congresses
Classification :
QA
76
.
6
.
I185
1990
